M. Yu. Kapitonova: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Meeting on Engineering Problems of Development of Chess Programs

Yu. V. Kapitonova

Journal:

Cybernetics and Systems Analysis

Year:

1977

Language:

english

File:

PDF, 48 KB

english, 1977

2

Definition of the semantics of programming language constructs in terms of λ-calculus. I

V. N. Domrachev, Yu. V. Kapitonova, L. G. Samoilenko

Journal:

Cybernetics and Systems Analysis

Year:

1981

Language:

english

File:

PDF, 458 KB

english, 1981

3

Means of describing computer hardware and software

V. M. Glushkov, Yu. V. Kapitonova, A. A. Letichevskii

Journal:

Cybernetics and Systems Analysis

Year:

1974

Language:

english

File:

PDF, 491 KB

english, 1974

4

One method of defining the semantics of programming language constructs in terms of lambda calculus. II

V. N. Domrachev, Yu. V. Kapitonova, L. G. Samoilenko

Journal:

Cybernetics and Systems Analysis

Year:

1983

Language:

english

File:

PDF, 632 KB

english, 1983

5

A Fast Algorithm for Matrix Multiplication and Its Efficient Realization on Systolic Arrays

L.D. Elfimova, Yu.V. Kapitonova

Journal:

Cybernetics and Systems Analysis

Year:

2001

Language:

english

File:

PDF, 114 KB

english, 2001

6

The general principles of the synthesis of combinatorial circuits

Z.L. Rabinovich, Yu.V. Kapitonova

Journal:

USSR Computational Mathematics and Mathematical Physics

Year:

1963

Language:

english

File:

PDF, 1000 KB

english, 1963

7

An extension of the programming language TREE in the PROEKT system

S. S. Gorokhovskii, Yu. V. Kapitonova, A. A. Letichevskii, A. I. Khlebnikov, V. P. Shevchenko

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 751 KB

english, 1972

8

Extension sistema of the program language PROEKT

Yu. V. Kapitonova, A. A. Letichevskii, V. V. Fedyurko, G. K. Sherstoboeva

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 804 KB

english, 1972

9

Concepts on formation of the mathematical tools of cybernetics in the works of V. M. Glushkov

Yu. V. Kapitonova, A. A. Letichevskii

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 706 KB

english, 1982

10

Iterative methods of program analysis: Equalities and inequalities

A. B. Godlevskii, Yu. V. Kapitonova, S. L. Krivoi, A. A. Letichevskii

Journal:

Cybernetics and Systems Analysis

Year:

1990

Language:

english

File:

PDF, 962 KB

english, 1990

11

Implementation of an optimizing compiler for the procedural subset of the algebraic programming language of the APS system

T. A. Val'kevich, Yu. V. Kapitonova, A. A. Letichevskii, N. M. Mishchenko

Journal:

Cybernetics and Systems Analysis

Year:

1995

Language:

english

File:

PDF, 733 KB

english, 1995

12

Optimizing compiler for the procedural subset of the algebraic programming language of the APS system

T. A. Val'kevich, Yu. V. Kapitonova, A. A. Letichevskii

Journal:

Cybernetics and Systems Analysis

Year:

1995

Language:

english

File:

PDF, 774 KB

english, 1995

13

Effect of Mechanically Activated Layered Silicate on the Properties and Structure of Polytetrafluoroethylene

Sleptsova, S.A., Lazareva, N.N., Kapitonova, Yu.V.

Journal:

Materials Science Forum

Year:

2019

Language:

english

File:

PDF, 404 KB

english, 2019

14

Problems on automation of computer and system design

V.M. Glushkov, Yu.V. Kapitonova, A.A. Letichevsky

Journal:

Year:

1970

Language:

english

File:

PDF, 905 KB

english, 1970

15

Photoluminescence Studies of Porous Silicon and Silicon–Hydrogen Films

E. V. Astrova, S. V. Belov, A. A. Lebedev, A. D. Remenyuk, Yu. V. Rud, R. F. Vitman, L. M. Kapitonova

Journal:

physica status solidi (a)

Year:

1994

Language:

english

File:

PDF, 347 KB

english, 1994

16

Morphological and functional changes in the synovial microcirculatory bed in antigen-induced arthritis

M. Yu. Kapitonova, P. Ya. Mul'diyarov

Journal:

Bulletin of Experimental Biology and Medicine

Year:

1986

Language:

english

File:

PDF, 668 KB

english, 1986

17

Classes of conjugate elements of the unitriangular group

P. M. Gudivok, Yu. V. Kapitonova, S. S. Polyak, V. P. Rud'ko, A. I. Tsitkin

Journal:

Cybernetics and Systems Analysis

Year:

1990

Language:

english

File:

PDF, 912 KB

english, 1990

18

An algorithm for maximum desequencing of repetition-free loops

Yu. V. Kapitonova, A. A. Letichevskii, V. V. Bublik, S. V. Kolyada

Journal:

Cybernetics and Systems Analysis

Year:

1983

Language:

english

File:

PDF, 807 KB

english, 1983

19

Logical design of standardized automata. I

Yu. V. Kapitonova, A. T. Mishchenko

Journal:

Cybernetics and Systems Analysis

Year:

1986

Language:

english

File:

PDF, 1.24 MB

english, 1986

20

Finite irreducible subgroups of the group GL(n,Z)

P. M. Gudivok, Yu. V. Kapitonova, V. P. Rud'ko

Journal:

Cybernetics and Systems Analysis

Year:

1986

Language:

english

File:

PDF, 1.85 MB

english, 1986

21

A brief review and bibliography of investigations into automation of search of theorem proofs in formal theories

Yu. V. Kapitonova, V. F. Kostyrko, A. V. Lyaletskii, A. I. Degtyarev, A. I. Malashonok, F. V. Anufriev, Z. M. Asel'derov

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 1.68 MB

english, 1972

22

The algorithmic language MAYaK

S. S. Gorokhovskii, Yu. V. Kapitonova, A. A. Letichevskii, I. N. Molchanov, S. B. Pogrebinskii

Journal:

Cybernetics and Systems Analysis

Year:

1984

Language:

english

File:

PDF, 2.18 MB

english, 1984

23

Construction of a practical formal language for mathematical theories

V. M. Glushkov, Yu. V. Kapitonova, A. A. Letichevskii, K. P. Vershinin, N. P. Malevanyi

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 1.13 MB

english, 1972

24

Organization of data for the obviousness algorithm seeking proofs of theorems in formalized theories

Z. M. Asel'derov, F. V. Anufriev, Yu. V. Kapitonova

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 782 KB

english, 1972

25

Automatic search for proofs of mathematical theorems and intelligent computers

V. M. Glushkov, Yu. V. Kapitonova

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 503 KB

english, 1972

26

Organizing computations in multiprocessor computer systems

V. S. Mikhalevich, Yu. V. Kapitonova, A. A. Letichevskii, I. N. Molchanov, S. B. Pogrebinskii

Journal:

Cybernetics and Systems Analysis

Year:

1984

Language:

english

File:

PDF, 1.02 MB

english, 1984

27

M-schemas for macropipelined computation

Yu. V. Kapitonova, M. I. Ovseets

Journal:

Cybernetics and Systems Analysis

Year:

1990

Language:

english

File:

PDF, 770 KB

english, 1990

28

Efficiency and optimality of one method of distributing program resources in multiprocessor computer systems

Yu. V. Kapitonova, N. S. Kovalenko, M. I. Ovseets

Journal:

Cybernetics and Systems Analysis

Year:

1983

Language:

english

File:

PDF, 412 KB

english, 1983

29

Simulation in the system “PROEKT”

V. M. glushkov, Yu. V. Kapitonova, A. A. Letichevskii, V. A. Grebnev

Journal:

Cybernetics and Systems Analysis

Year:

1973

Language:

english

File:

PDF, 1.15 MB

english, 1973

30

Programming means and the solution of logical problems in software systems (basic concepts of the L2 language)

S. S. Gorokhovskii, Yu. V. Kapitonova, A. A. Letichevskii

Journal:

Cybernetics and Systems Analysis

Year:

1973

Language:

english

File:

PDF, 1.93 MB

english, 1973

31

Use of heuristic procedures in search programs for proofs of theorems (survey)

Yu. V. Kapitonova, A. I. Degtyarev, A. V. Lyaletskii

Journal:

Cybernetics and Systems Analysis

Year:

1973

Language:

english

File:

PDF, 1.58 MB

english, 1973

32

Method of designing fourth and later generation computers

V. M. Glushkov, Yu. V. Kapitonova, A. A. Letichevskii

Journal:

Cybernetics and Systems Analysis

Year:

1973

Language:

english

File:

PDF, 987 KB

english, 1973

33

Local design of standardized automata. II

Yu. V. Kapitonova, A. T. Mishchenko

Journal:

Cybernetics and Systems Analysis

Year:

1986

Language:

english

File:

PDF, 768 KB

english, 1986

34

Algebra of algorithms and dynamic parallel execution of sequential programs

V. M. Glushkov, Yu. V. Kapitonova, A. A. Letichevskii

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 795 KB

english, 1982

35

Theoretical principles for designing discrete systems

V. M. Glushkov, Yu. V. Kapitonova, A. A. Letichevskii

Journal:

Cybernetics and Systems Analysis

Year:

1977

Language:

english

File:

PDF, 1.45 MB

english, 1977

36

Implementation of control devices with LSI circuits. Part 2

Yu. V. Kapitonova, V. G. Alekseenko, A. T. Mishchenko

Journal:

Cybernetics and Systems Analysis

Year:

1979

Language:

english

File:

PDF, 874 KB

english, 1979

37

Distribution of resources among competitive processes

Yu. V. Kapitonova, N. S. Kovalenko

Journal:

Cybernetics and Systems Analysis

Year:

1981

Language:

english

File:

PDF, 415 KB

english, 1981

38

Logical design of a control block

Yu. V. Kapitonova, A. T. Mishchenko

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 803 KB

english, 1972

39

Formal synthesis of automata using multistable elements

Yu. V. Kapitonova, A. T. Mishchenko, V. V. Yaremenko

Journal:

Cybernetics and Systems Analysis

Year:

1973

Language:

english

File:

PDF, 353 KB

english, 1973

40

Instrumental means for the design of programs for processing mathematical texts

V. M. Glushkov, Yu. V. Kapitonova, A. A. Letichevskii

Journal:

Cybernetics and Systems Analysis

Year:

1979

Language:

english

File:

PDF, 717 KB

english, 1979

41

System for processing mathematical texts

Yu. V. Kapitonova, K. P. Vershinin, A. I. Degtyarev, A. P. Zhezherun, A. V. Lyaletskii

Journal:

Cybernetics and Systems Analysis

Year:

1979

Language:

english

File:

PDF, 191 KB

english, 1979

42

ANALITIK-74

V. M. Glushkov, T. A. Grinchenko, A. A. Dorodnitsyna, A. M. Drakh, Yu. V. Kapitonova, V. P. Klimenko, L. N. Kres, A. A. Letichevskii, S. B. Pogrebinskii, O. N. Savchak, A. A. Stognii, Yu. S. Fishman,

Journal:

Cybernetics and Systems Analysis

Year:

1978

Language:

english

File:

PDF, 3.17 MB

english, 1978

43

All-Union Seminar “Questions of Organization of Dialogue Systems”

Yu. V. Kapitonova

Journal:

Cybernetics and Systems Analysis

Year:

1978

Language:

english

File:

PDF, 133 KB

english, 1978

44

Experimental development of software for an advanced computer array

V. A. Grebnev, Yu. V. Kapitonova, A. A. Letichevskii, V. V. Bublik, A. E. Doroshenko, A. P. Zhezherun

Journal:

Cybernetics and Systems Analysis

Year:

1974

Language:

english

File:

PDF, 462 KB

english, 1974

45

Algorithm provision of the program package VEKTOR-1 intended for solving one class of electronic computer design problems

V. M. Glushkov, Yu. V. Kapitonova, M. F. Kaspshitskaya, I. V. Sergienko

Journal:

Cybernetics and Systems Analysis

Year:

1978

Language:

english

File:

PDF, 581 KB

english, 1978

46

Macropipelining of computations

V. S. Mikhalevich, Yu. V. Kapitonova, A. A. Letichevskii

Journal:

Cybernetics and Systems Analysis

Year:

1986

Language:

english

File:

PDF, 942 KB

english, 1986

47

Implementation of MAYaK family languages for macropiplined multiprocessor computing systems

S. N. Berestovaya, A. B. Godlevskii, S. S. Gorokhovskii, Yu. V. Kapitonova, A. A. Letichevskii, N. M. Mishchenko

Journal:

Cybernetics and Systems Analysis

Year:

1989

Language:

english

File:

PDF, 915 KB

english, 1989

48

Efficiency of pipelining of competing processes when the number of program copies is limited

Yu. V. Kapitonova, N. S. Kovalenko, M. I. Ovseets

Journal:

Cybernetics and Systems Analysis

Year:

1989

Language:

english

File:

PDF, 482 KB

english, 1989

49

Iterative methods of program analysis

A. B. Godlevskii, Yu. V. Kapitonova, S. L. Krivoi, A. A. Letichevskii

Journal:

Cybernetics and Systems Analysis

Year:

1989

Language:

english

File:

PDF, 1.43 MB

english, 1989

50

Design theory of multiprocessor computer hardware and software

V. M. Glushkov, Yu. V. Kapitonova, A. A. Letichevskii

Journal:

Cybernetics and Systems Analysis

Year:

1978

Language:

english

File:

PDF, 1.77 MB

english, 1978